21. Communication-Based Systems
پدیدآورنده : edited by Günter Hommel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
22. Connected Dominating Set: Theory and Application
پدیدآورنده : / by Ding-Zhu Du, Peng-Jun Wan
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer Communication Networks,Computer software,Combinatorics,Mathematical optimization,Electronic books
رده :
E-BOOK
23. Einführung in die Finanzmathematik
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software.,Economics, Mathematical.,Finance.,Mathematics.,Computer software.,Economics, Mathematical.,Finance.,Finanzmathematik,Finanzmathematik.,Mathematics.
رده :
HG106
24. FME 2002 :
پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2002
25. FME 2003 :
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
26. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2805
27. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2391
28. Facing the Multicore - Challenge II
پدیدآورنده : edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
29. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
30. From Lambda Calculus to Cybersecurity Through Program Analysis
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics; Optimization; Computer Communication Networks; Computer System Implementation; Theory of Computation; Software Engineering
31. Geometry of knowledge for intelligent systems
پدیدآورنده : Resconi, Germano
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Calculus of tensors,، Logic, Symbolic and mathematical,Mathematics ، Intelligent agents )Computer software(
رده :
QA
433
.
R47G4
32. Graph Colouring and the Probabilistic Method
پدیدآورنده : by Michael Molloy, Bruce Reed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorics.,Computer science.,Computer software.,Distribution (Probability theory).,Information theory.,Mathematics.
33. Graph Drawing and Network Visualization :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Data structures (Computer science). ; Software engineering. ; Algorithm Analysis and Problem Complexity. ; -Algorithms. ; Application software. ; Computer graphics. ; Computer science
34. Graph and Model Transformation
پدیدآورنده : \ Hartmut Ehrig...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,Categories (Mathematics),مهندسی ن‍رم اف‍زار ,رسته‌ها (ریاضیات)
رده :
QA
76
.
G7
2015
E-Book
,
35. Grid Generation and Adaptive Algorithms
پدیدآورنده : edited by Marshall W. Bern, Joseph E. Flaherty, Mitchell Luskin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorics.,Computer software.,Mathematics.
36. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
37. INSPECT: a program system for scientific and engineering data analysis, handbook
پدیدآورنده : Lohninger, Hans
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software - Development , Mathematics - Data processing , INSPECT
رده :
QA
76
.
76
.
D47
L63
1996
38. Integrating Routing Decisions in Public Transportation Problem
پدیدآورنده : / electronic resource
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer software,Civil engineering,Mathematics,Operations Research, Management Science,Civil Engineering,Algorithm Analysis and Problem Complexity
رده :
E-BOOK
39. Introduction to cryptography with open-source software /
پدیدآورنده : Alasdair McAndrew.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security.,Cryptography-- Mathematics.,Data encryption (Computer science),Open source software.
40. MATLAB 7 :
پدیدآورنده : Christoph Überhuber ; Stefan Katzenbeisser ; Dirk Praetorius.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Mathematics.,Computer science.,Computer software.,Mathematics.,MATLAB 7.0
رده :
QA76
.
75-76
.
765
